// Copyright 2015, VIXL authors
// All rights reserved.
//
// Redistribution and use in source and binary forms, with or without
// modification, are permitted provided that the following conditions are met:
//
//   * Redistributions of source code must retain the above copyright notice,
//     this list of conditions and the following disclaimer.
//   * Redistributions in binary form must reproduce the above copyright notice,
//     this list of conditions and the following disclaimer in the documentation
//     and/or other materials provided with the distribution.
//   * Neither the name of ARM Limited nor the names of its contributors may be
//     used to endorse or promote products derived from this software without
//     specific prior written permission.
//
// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
// ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
// WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
// DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
// FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
// DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
// SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
// CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
// OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.


// ---------------------------------------------------------------------
// This file is auto generated using tools/generate_simulator_traces.py.
//
// PLEASE DO NOT EDIT.
// ---------------------------------------------------------------------

#ifndef VIXL_SIM_UCVTF_S_2OPIMM_TRACE_AARCH64_H_
#define VIXL_SIM_UCVTF_S_2OPIMM_TRACE_AARCH64_H_

const uint32_t kExpected_NEON_ucvtf_S_2OPIMM[] = {
  0x4f800000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x4f800000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x4f800000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x3b000000,
  0x3a800000,
  0x3a000000,
  0x39800000,
  0x39000000,
  0x38800000,
  0x38000000,
  0x37800000,
  0x37000000,
  0x36800000,
  0x36000000,
  0x35800000,
  0x35000000,
  0x34800000,
  0x34000000,
  0x33800000,
  0x33000000,
  0x32800000,
  0x32000000,
  0x31800000,
  0x31000000,
  0x30800000,
  0x30000000,
  0x2f800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x3b000000,
  0x3a800000,
  0x3a000000,
  0x39800000,
  0x39000000,
  0x38800000,
  0x38000000,
  0x37800000,
  0x37000000,
  0x36800000,
  0x36000000,
  0x35800000,
  0x35000000,
  0x34800000,
  0x34000000,
  0x33800000,
  0x33000000,
  0x32800000,
  0x32000000,
  0x31800000,
  0x31000000,
  0x30800000,
  0x30000000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x3b000000,
  0x3a800000,
  0x3a000000,
  0x39800000,
  0x39000000,
  0x38800000,
  0x38000000,
  0x37800000,
  0x37000000,
  0x36800000,
  0x36000000,
  0x35800000,
  0x35000000,
  0x34800000,
  0x34000000,
  0x33800000,
  0x33000000,
  0x32800000,
  0x32000000,
  0x42fa0000,
  0x427a0000,
  0x41fa0000,
  0x417a0000,
  0x40fa0000,
  0x407a0000,
  0x3ffa0000,
  0x3f7a0000,
  0x3efa0000,
  0x3e7a0000,
  0x3dfa0000,
  0x3d7a0000,
  0x3cfa0000,
  0x3c7a0000,
  0x3bfa0000,
  0x3b7a0000,
  0x3afa0000,
  0x3a7a0000,
  0x39fa0000,
  0x397a0000,
  0x38fa0000,
  0x387a0000,
  0x37fa0000,
  0x377a0000,
  0x36fa0000,
  0x367a0000,
  0x35fa0000,
  0x357a0000,
  0x34fa0000,
  0x347a0000,
  0x33fa0000,
  0x337a0000,
  0x32fa0000,
  0x42fc0000,
  0x427c0000,
  0x41fc0000,
  0x417c0000,
  0x40fc0000,
  0x407c0000,
  0x3ffc0000,
  0x3f7c0000,
  0x3efc0000,
  0x3e7c0000,
  0x3dfc0000,
  0x3d7c0000,
  0x3cfc0000,
  0x3c7c0000,
  0x3bfc0000,
  0x3b7c0000,
  0x3afc0000,
  0x3a7c0000,
  0x39fc0000,
  0x397c0000,
  0x38fc0000,
  0x387c0000,
  0x37fc0000,
  0x377c0000,
  0x36fc0000,
  0x367c0000,
  0x35fc0000,
  0x357c0000,
  0x34fc0000,
  0x347c0000,
  0x33fc0000,
  0x337c0000,
  0x32fc0000,
  0x42fe0000,
  0x427e0000,
  0x41fe0000,
  0x417e0000,
  0x40fe0000,
  0x407e0000,
  0x3ffe0000,
  0x3f7e0000,
  0x3efe0000,
  0x3e7e0000,
  0x3dfe0000,
  0x3d7e0000,
  0x3cfe0000,
  0x3c7e0000,
  0x3bfe0000,
  0x3b7e0000,
  0x3afe0000,
  0x3a7e0000,
  0x39fe0000,
  0x397e0000,
  0x38fe0000,
  0x387e0000,
  0x37fe0000,
  0x377e0000,
  0x36fe0000,
  0x367e0000,
  0x35fe0000,
  0x357e0000,
  0x34fe0000,
  0x347e0000,
  0x33fe0000,
  0x337e0000,
  0x32fe0000,
  0x46fffa00,
  0x467ffa00,
  0x45fffa00,
  0x457ffa00,
  0x44fffa00,
  0x447ffa00,
  0x43fffa00,
  0x437ffa00,
  0x42fffa00,
  0x427ffa00,
  0x41fffa00,
  0x417ffa00,
  0x40fffa00,
  0x407ffa00,
  0x3ffffa00,
  0x3f7ffa00,
  0x3efffa00,
  0x3e7ffa00,
  0x3dfffa00,
  0x3d7ffa00,
  0x3cfffa00,
  0x3c7ffa00,
  0x3bfffa00,
  0x3b7ffa00,
  0x3afffa00,
  0x3a7ffa00,
  0x39fffa00,
  0x397ffa00,
  0x38fffa00,
  0x387ffa00,
  0x37fffa00,
  0x377ffa00,
  0x36fffa00,
  0x46fffc00,
  0x467ffc00,
  0x45fffc00,
  0x457ffc00,
  0x44fffc00,
  0x447ffc00,
  0x43fffc00,
  0x437ffc00,
  0x42fffc00,
  0x427ffc00,
  0x41fffc00,
  0x417ffc00,
  0x40fffc00,
  0x407ffc00,
  0x3ffffc00,
  0x3f7ffc00,
  0x3efffc00,
  0x3e7ffc00,
  0x3dfffc00,
  0x3d7ffc00,
  0x3cfffc00,
  0x3c7ffc00,
  0x3bfffc00,
  0x3b7ffc00,
  0x3afffc00,
  0x3a7ffc00,
  0x39fffc00,
  0x397ffc00,
  0x38fffc00,
  0x387ffc00,
  0x37fffc00,
  0x377ffc00,
  0x36fffc00,
  0x46fffe00,
  0x467ffe00,
  0x45fffe00,
  0x457ffe00,
  0x44fffe00,
  0x447ffe00,
  0x43fffe00,
  0x437ffe00,
  0x42fffe00,
  0x427ffe00,
  0x41fffe00,
  0x417ffe00,
  0x40fffe00,
  0x407ffe00,
  0x3ffffe00,
  0x3f7ffe00,
  0x3efffe00,
  0x3e7ffe00,
  0x3dfffe00,
  0x3d7ffe00,
  0x3cfffe00,
  0x3c7ffe00,
  0x3bfffe00,
  0x3b7ffe00,
  0x3afffe00,
  0x3a7ffe00,
  0x39fffe00,
  0x397ffe00,
  0x38fffe00,
  0x387ffe00,
  0x37fffe00,
  0x377ffe00,
  0x36fffe00,
  0x4e4ccccd,
  0x4dcccccd,
  0x4d4ccccd,
  0x4ccccccd,
  0x4c4ccccd,
  0x4bcccccd,
  0x4b4ccccd,
  0x4acccccd,
  0x4a4ccccd,
  0x49cccccd,
  0x494ccccd,
  0x48cccccd,
  0x484ccccd,
  0x47cccccd,
  0x474ccccd,
  0x46cccccd,
  0x464ccccd,
  0x45cccccd,
  0x454ccccd,
  0x44cccccd,
  0x444ccccd,
  0x43cccccd,
  0x434ccccd,
  0x42cccccd,
  0x424ccccd,
  0x41cccccd,
  0x414ccccd,
  0x40cccccd,
  0x404ccccd,
  0x3fcccccd,
  0x3f4ccccd,
  0x3ecccccd,
  0x3e4ccccd,
  0x4eaaaaab,
  0x4e2aaaab,
  0x4daaaaab,
  0x4d2aaaab,
  0x4caaaaab,
  0x4c2aaaab,
  0x4baaaaab,
  0x4b2aaaab,
  0x4aaaaaab,
  0x4a2aaaab,
  0x49aaaaab,
  0x492aaaab,
  0x48aaaaab,
  0x482aaaab,
  0x47aaaaab,
  0x472aaaab,
  0x46aaaaab,
  0x462aaaab,
  0x45aaaaab,
  0x452aaaab,
  0x44aaaaab,
  0x442aaaab,
  0x43aaaaab,
  0x432aaaab,
  0x42aaaaab,
  0x422aaaab,
  0x41aaaaab,
  0x412aaaab,
  0x40aaaaab,
  0x402aaaab,
  0x3faaaaab,
  0x3f2aaaab,
  0x3eaaaaab,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x4f2aaaab,
  0x4eaaaaab,
  0x4e2aaaab,
  0x4daaaaab,
  0x4d2aaaab,
  0x4caaaaab,
  0x4c2aaaab,
  0x4baaaaab,
  0x4b2aaaab,
  0x4aaaaaab,
  0x4a2aaaab,
  0x49aaaaab,
  0x492aaaab,
  0x48aaaaab,
  0x482aaaab,
  0x47aaaaab,
  0x472aaaab,
  0x46aaaaab,
  0x462aaaab,
  0x45aaaaab,
  0x452aaaab,
  0x44aaaaab,
  0x442aaaab,
  0x43aaaaab,
  0x432aaaab,
  0x42aaaaab,
  0x422aaaab,
  0x41aaaaab,
  0x412aaaab,
  0x40aaaaab,
  0x402aaaab,
  0x3faaaaab,
  0x3f2aaaab,
  0x4f4ccccd,
  0x4ecccccd,
  0x4e4ccccd,
  0x4dcccccd,
  0x4d4ccccd,
  0x4ccccccd,
  0x4c4ccccd,
  0x4bcccccd,
  0x4b4ccccd,
  0x4acccccd,
  0x4a4ccccd,
  0x49cccccd,
  0x494ccccd,
  0x48cccccd,
  0x484ccccd,
  0x47cccccd,
  0x474ccccd,
  0x46cccccd,
  0x464ccccd,
  0x45cccccd,
  0x454ccccd,
  0x44cccccd,
  0x444ccccd,
  0x43cccccd,
  0x434ccccd,
  0x42cccccd,
  0x424ccccd,
  0x41cccccd,
  0x414ccccd,
  0x40cccccd,
  0x404ccccd,
  0x3fcccccd,
  0x3f4ccccd,
  0x4f7fff80,
  0x4effff80,
  0x4e7fff80,
  0x4dffff80,
  0x4d7fff80,
  0x4cffff80,
  0x4c7fff80,
  0x4bffff80,
  0x4b7fff80,
  0x4affff80,
  0x4a7fff80,
  0x49ffff80,
  0x497fff80,
  0x48ffff80,
  0x487fff80,
  0x47ffff80,
  0x477fff80,
  0x46ffff80,
  0x467fff80,
  0x45ffff80,
  0x457fff80,
  0x44ffff80,
  0x447fff80,
  0x43ffff80,
  0x437fff80,
  0x42ffff80,
  0x427fff80,
  0x41ffff80,
  0x417fff80,
  0x40ffff80,
  0x407fff80,
  0x3fffff80,
  0x3f7fff80,
  0x4f7fff80,
  0x4effff80,
  0x4e7fff80,
  0x4dffff80,
  0x4d7fff80,
  0x4cffff80,
  0x4c7fff80,
  0x4bffff80,
  0x4b7fff80,
  0x4affff80,
  0x4a7fff80,
  0x49ffff80,
  0x497fff80,
  0x48ffff80,
  0x487fff80,
  0x47ffff80,
  0x477fff80,
  0x46ffff80,
  0x467fff80,
  0x45ffff80,
  0x457fff80,
  0x44ffff80,
  0x447fff80,
  0x43ffff80,
  0x437fff80,
  0x42ffff80,
  0x427fff80,
  0x41ffff80,
  0x417fff80,
  0x40ffff80,
  0x407fff80,
  0x3fffff80,
  0x3f7fff80,
  0x4f7fff80,
  0x4effff80,
  0x4e7fff80,
  0x4dffff80,
  0x4d7fff80,
  0x4cffff80,
  0x4c7fff80,
  0x4bffff80,
  0x4b7fff80,
  0x4affff80,
  0x4a7fff80,
  0x49ffff80,
  0x497fff80,
  0x48ffff80,
  0x487fff80,
  0x47ffff80,
  0x477fff80,
  0x46ffff80,
  0x467fff80,
  0x45ffff80,
  0x457fff80,
  0x44ffff80,
  0x447fff80,
  0x43ffff80,
  0x437fff80,
  0x42ffff80,
  0x427fff80,
  0x41ffff80,
  0x417fff80,
  0x40ffff80,
  0x407fff80,
  0x3fffff80,
  0x3f7fff80,
  0x4f7fff80,
  0x4effff80,
  0x4e7fff80,
  0x4dffff80,
  0x4d7fff80,
  0x4cffff80,
  0x4c7fff80,
  0x4bffff80,
  0x4b7fff80,
  0x4affff80,
  0x4a7fff80,
  0x49ffff80,
  0x497fff80,
  0x48ffff80,
  0x487fff80,
  0x47ffff80,
  0x477fff80,
  0x46ffff80,
  0x467fff80,
  0x45ffff80,
  0x457fff80,
  0x44ffff80,
  0x447fff80,
  0x43ffff80,
  0x437fff80,
  0x42ffff80,
  0x427fff80,
  0x41ffff80,
  0x417fff80,
  0x40ffff80,
  0x407fff80,
  0x3fffff80,
  0x3f7fff80,
  0x4f800000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x4f800000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x4f800000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x4f800000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x4f800000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x4f800000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x4f800000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x4f800000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x00000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x3b000000,
  0x3a800000,
  0x3a000000,
  0x39800000,
  0x39000000,
  0x38800000,
  0x38000000,
  0x37800000,
  0x37000000,
  0x36800000,
  0x36000000,
  0x35800000,
  0x35000000,
  0x34800000,
  0x34000000,
  0x33800000,
  0x33000000,
  0x32800000,
  0x32000000,
  0x31800000,
  0x31000000,
  0x30800000,
  0x30000000,
  0x2f800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x3b000000,
  0x4b000001,
  0x4a800001,
  0x4a000001,
  0x49800001,
  0x49000001,
  0x48800001,
  0x48000001,
  0x47800001,
  0x47000001,
  0x46800001,
  0x46000001,
  0x45800001,
  0x45000001,
  0x44800001,
  0x44000001,
  0x43800001,
  0x43000001,
  0x42800001,
  0x42000001,
  0x41800001,
  0x41000001,
  0x40800001,
  0x40000001,
  0x3f800001,
  0x3f000001,
  0x3e800001,
  0x3e000001,
  0x3d800001,
  0x3d000001,
  0x3c800001,
  0x3c000001,
  0x3b800001,
  0x3b000001,
  0x4b076543,
  0x4a876543,
  0x4a076543,
  0x49876543,
  0x49076543,
  0x48876543,
  0x48076543,
  0x47876543,
  0x47076543,
  0x46876543,
  0x46076543,
  0x45876543,
  0x45076543,
  0x44876543,
  0x44076543,
  0x43876543,
  0x43076543,
  0x42876543,
  0x42076543,
  0x41876543,
  0x41076543,
  0x40876543,
  0x40076543,
  0x3f876543,
  0x3f076543,
  0x3e876543,
  0x3e076543,
  0x3d876543,
  0x3d076543,
  0x3c876543,
  0x3c076543,
  0x3b876543,
  0x3b076543,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x3b800000,
  0x4bc00000,
  0x4b400000,
  0x4ac00000,
  0x4a400000,
  0x49c00000,
  0x49400000,
  0x48c00000,
  0x48400000,
  0x47c00000,
  0x47400000,
  0x46c00000,
  0x46400000,
  0x45c00000,
  0x45400000,
  0x44c00000,
  0x44400000,
  0x43c00000,
  0x43400000,
  0x42c00000,
  0x42400000,
  0x41c00000,
  0x41400000,
  0x40c00000,
  0x40400000,
  0x3fc00000,
  0x3f400000,
  0x3ec00000,
  0x3e400000,
  0x3dc00000,
  0x3d400000,
  0x3cc00000,
  0x3c400000,
  0x3bc00000,
  0x4bc00000,
  0x4b400000,
  0x4ac00000,
  0x4a400000,
  0x49c00000,
  0x49400000,
  0x48c00000,
  0x48400000,
  0x47c00000,
  0x47400000,
  0x46c00000,
  0x46400000,
  0x45c00000,
  0x45400000,
  0x44c00000,
  0x44400000,
  0x43c00000,
  0x43400000,
  0x42c00000,
  0x42400000,
  0x41c00000,
  0x41400000,
  0x40c00000,
  0x40400000,
  0x3fc00000,
  0x3f400000,
  0x3ec00000,
  0x3e400000,
  0x3dc00000,
  0x3d400000,
  0x3cc00000,
  0x3c400000,
  0x3bc00000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x3e000000,
  0x3d800000,
  0x3d000000,
  0x3c800000,
  0x3c000000,
  0x4c200000,
  0x4ba00000,
  0x4b200000,
  0x4aa00000,
  0x4a200000,
  0x49a00000,
  0x49200000,
  0x48a00000,
  0x48200000,
  0x47a00000,
  0x47200000,
  0x46a00000,
  0x46200000,
  0x45a00000,
  0x45200000,
  0x44a00000,
  0x44200000,
  0x43a00000,
  0x43200000,
  0x42a00000,
  0x42200000,
  0x41a00000,
  0x41200000,
  0x40a00000,
  0x40200000,
  0x3fa00000,
  0x3f200000,
  0x3ea00000,
  0x3e200000,
  0x3da00000,
  0x3d200000,
  0x3ca00000,
  0x3c200000,
  0x4c200000,
  0x4ba00000,
  0x4b200000,
  0x4aa00000,
  0x4a200000,
  0x49a00000,
  0x49200000,
  0x48a00000,
  0x48200000,
  0x47a00000,
  0x47200000,
  0x46a00000,
  0x46200000,
  0x45a00000,
  0x45200000,
  0x44a00000,
  0x44200000,
  0x43a00000,
  0x43200000,
  0x42a00000,
  0x42200000,
  0x41a00000,
  0x41200000,
  0x40a00000,
  0x40200000,
  0x3fa00000,
  0x3f200000,
  0x3ea00000,
  0x3e200000,
  0x3da00000,
  0x3d200000,
  0x3ca00000,
  0x3c200000,
  0x4c400000,
  0x4bc00000,
  0x4b400000,
  0x4ac00000,
  0x4a400000,
  0x49c00000,
  0x49400000,
  0x48c00000,
  0x48400000,
  0x47c00000,
  0x47400000,
  0x46c00000,
  0x46400000,
  0x45c00000,
  0x45400000,
  0x44c00000,
  0x44400000,
  0x43c00000,
  0x43400000,
  0x42c00000,
  0x42400000,
  0x41c00000,
  0x41400000,
  0x40c00000,
  0x40400000,
  0x3fc00000,
  0x3f400000,
  0x3ec00000,
  0x3e400000,
  0x3dc00000,
  0x3d400000,
  0x3cc00000,
  0x3c400000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x3e800000,
  0x4effffff,
  0x4e7fffff,
  0x4dffffff,
  0x4d7fffff,
  0x4cffffff,
  0x4c7fffff,
  0x4bffffff,
  0x4b7fffff,
  0x4affffff,
  0x4a7fffff,
  0x49ffffff,
  0x497fffff,
  0x48ffffff,
  0x487fffff,
  0x47ffffff,
  0x477fffff,
  0x46ffffff,
  0x467fffff,
  0x45ffffff,
  0x457fffff,
  0x44ffffff,
  0x447fffff,
  0x43ffffff,
  0x437fffff,
  0x42ffffff,
  0x427fffff,
  0x41ffffff,
  0x417fffff,
  0x40ffffff,
  0x407fffff,
  0x3fffffff,
  0x3f7fffff,
  0x3effffff,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x4f000000,
  0x4e800000,
  0x4e000000,
  0x4d800000,
  0x4d000000,
  0x4c800000,
  0x4c000000,
  0x4b800000,
  0x4b000000,
  0x4a800000,
  0x4a000000,
  0x49800000,
  0x49000000,
  0x48800000,
  0x48000000,
  0x47800000,
  0x47000000,
  0x46800000,
  0x46000000,
  0x45800000,
  0x45000000,
  0x44800000,
  0x44000000,
  0x43800000,
  0x43000000,
  0x42800000,
  0x42000000,
  0x41800000,
  0x41000000,
  0x40800000,
  0x40000000,
  0x3f800000,
  0x3f000000,
  0x4f000001,
  0x4e800001,
  0x4e000001,
  0x4d800001,
  0x4d000001,
  0x4c800001,
  0x4c000001,
  0x4b800001,
  0x4b000001,
  0x4a800001,
  0x4a000001,
  0x49800001,
  0x49000001,
  0x48800001,
  0x48000001,
  0x47800001,
  0x47000001,
  0x46800001,
  0x46000001,
  0x45800001,
  0x45000001,
  0x44800001,
  0x44000001,
  0x43800001,
  0x43000001,
  0x42800001,
  0x42000001,
  0x41800001,
  0x41000001,
  0x40800001,
  0x40000001,
  0x3f800001,
  0x3f000001,
  0x4f7fffff,
  0x4effffff,
  0x4e7fffff,
  0x4dffffff,
  0x4d7fffff,
  0x4cffffff,
  0x4c7fffff,
  0x4bffffff,
  0x4b7fffff,
  0x4affffff,
  0x4a7fffff,
  0x49ffffff,
  0x497fffff,
  0x48ffffff,
  0x487fffff,
  0x47ffffff,
  0x477fffff,
  0x46ffffff,
  0x467fffff,
  0x45ffffff,
  0x457fffff,
  0x44ffffff,
  0x447fffff,
  0x43ffffff,
  0x437fffff,
  0x42ffffff,
  0x427fffff,
  0x41ffffff,
  0x417fffff,
  0x40ffffff,
  0x407fffff,
  0x3fffffff,
  0x3f7fffff,
};
const unsigned kExpectedCount_NEON_ucvtf_S_2OPIMM = 1815;

#endif  // VIXL_SIM_UCVTF_S_2OPIMM_TRACE_AARCH64_H_
